Basic properties of congruences